An Ordinal Representation System for 12-Comprehension and Related Systems
نویسنده
چکیده
The objective of this paper is to introduce an ordinal representation system which has been employed in the determination of the proof{theoretic strength of 1 2 comprehension and related systems.
منابع مشابه
A Pure First Order Representation for Undamped Second Order Descriptor Systems
The aim of this paper is to analyze the undamped second order descriptor systems to show the possibility of transform an undamped second order descriptor system to a pure first order descriptor system ,on different ways, while stating some of its benefits. Meanwhile we will introduce pure first order systems and undamped second order systems and indicate that under some assumptions every undamp...
متن کاملProof Theory of Reflection
The paper contains proof{theoretic investigations on extensions of Kripke{Platek set theory, KP, which accommodate rst order re ection. Ordinal analyses for such theories are obtained by devising cut elimination procedures for in nitary calculi of rami ed set theory with n re ection rules. This leads to consistency proofs for the theories KP+ n{re ection using a small amount of arithmetic (PRA)...
متن کاملAn ordinal analysis of stability
This paper is the rst in a series of three which culminates in an ordinal analysis of 1 2-comprehension. On the set-theoretic side 1 2-comprehension corresponds to Kripke-Platek set theory, KP, plus 1-separation. The strength of the latter theory is encapsulated in the fact that it proves the existence of ordinals such that, for all > , is-stable, i.e. L is a 1-elementary substructure of L. The...
متن کاملNew phase II control chart for monitoring ordinal contingency table based processes
In some statistical process monitoring applications, quality of a process or product is described by more than one ordinal factors called ordinal multivariate process. To show the relationship between these factors, an ordinal contingency table is used and modeled with ordinal log-linear model. In this paper, a new control charts based on ordinal-normal statistic is developed to monitor the ord...
متن کاملClassical wavelet systems over finite fields
This article presents an analytic approach to study admissibility conditions related to classical full wavelet systems over finite fields using tools from computational harmonic analysis and theoretical linear algebra. It is shown that for a large class of non-zero window signals (wavelets), the generated classical full wavelet systems constitute a frame whose canonical dual are classical full ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995